Modal Logic Approach for Analyzing Security Protocol Guessing Attacks

• 分析安全协议猜测攻击的模态逻辑方法